1. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
2. Problems in the constructive trend in mathematics
پدیدآورنده : edited by V. P. Orevkov and M. A. Sanin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Constructive mathematics
رده :
QA
1
.
P736
Vol
.
93
,
etc
3. Problems in the constructive trend in mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Constructive mathematics-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
93
etc
.
